programme correctness proof - Inglés Sinónimo Diccionario